package org.nfr;

public class Main {
    public static void main(String[] args) throws Exception {
        OntologyLoader loader = new OntologyLoader();
        loader.loadOntology("ontology/nfrco_withSWRL_20250325.owl");
//        loader.loadOntology("ontology/nfrco_from_graph2.owl");
//        loader.printOntologyAxioms();

        RuleEngine engine = new RuleEngine(loader.getOntology());
        engine.applyRules();

        ConflictDetector detector = new ConflictDetector(engine.getInferredOntology(), engine.getReasoner());
        detector.detectConflicts();
    }
}